CORE
Test.class
--classpath `../../../../scripts/format_classpath.sh . annotations correct-overlay` --verbosity 10
^Getting class `Test' from file \.[\\/]Test\.class$
^Getting class `Test' from file correct-overlay[\\/]Test\.class$
^Adding symbol from overlay class:  field 'x'$
^Adding symbol from overlay class:  method 'java::Test\.<init>:\(\)V'$
^Field definition for java::Test\.x already loaded from overlay class$
^Adding symbol from overlay class:  method 'java::Test\.main:\(\[Ljava/lang/String;\)V'$
^Method java::Test\.<init>:\(\)V exists in an overlay class without being marked as an overlay and also exists in the underlying class
^Adding symbol:  method 'java::Test\.notOverlain:\(\)V'$
^VERIFICATION SUCCESSFUL$
^EXIT=0$
^SIGNAL=0$
--
^Skipping class Test marked with OverlayClassImplementation but found before original definition$
^Skipping duplicate definition of class Test not marked with OverlayClassImplementation$
