Here exists some test code and example code for the java language specification