marker for java 7