format Demo.java file