Fix identation in Platform.java