va1erify-java / Core / JavaCore2