public void testResourceModificationStamp() { JavaElementCoverage c = new JavaElementCoverage(null, false, 12345678); assertEquals(12345678l, c.getResourceModificationStamp()); }