Formatted DataExplorer.java