.gitignore

####### JPF #######

local.properties
build.properties
.version
jpf-types/

####### General #######
*.swo
trace
activity*.png
*.class
*.log
*.orig
*~
*.DS_Store

####### Package Files #######
*.war
*.nar
*.ear
*.zip
*.tar.gz
*.rar

# virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
hs_err_pid*


####### Ant #######
build/

####### Gradle #######
.gradle/
reports/

####### Covers NetBeans IDE #######
nbproject/private/
nbbuild/
dist/
nbdist/
.nb-gradle/

####### Covers Eclipse IDE #######
.idea/
.metadata
tmp/
*.tmp
*.bak
*.swp
*~.nib
.settings/
.loadpath
.recommenders

####### Covers JetBrains IDE: IntelliJ #######
*.iml
*.ipr

# User-specific stuff:
.idea/**/workspace.xml
.idea/**/tasks.xml
.idea/dictionaries
.idea/ant.xml

# Sensitive or high-churn files:
.idea/**/dataSources/
.idea/**/dataSources.ids
.idea/**/dataSources.local.xml
.idea/**/sqlDataSources.xml
.idea/**/dynamic.xml
.idea/**/uiDesigner.xml

# Gradle:
.idea/**/gradle.xml
.idea/**/libraries

## File-based project format:
*.iws

## Plugin-specific files:

# IntelliJ
out/

# BlueJ files
*.ctxt

# Mobile Tools for Java (J2ME)
.mtj.tmp/

# JIRA plugin
atlassian-ide-plugin.xml